spi calculus

spi calculus
эс-пи-исчисление (модификация пи-исчисления для спецификаций криптографических протоколов)

English-Russian dictionary of computer science and programming. 2013.

Игры ⚽ Поможем написать реферат

Смотреть что такое "spi calculus" в других словарях:

  • SPI — may refer to:Technology* System Packet Interface, family of interfaces from the Optical Internetworking Forum ** SPI 3, a system packet interface designed to be used in systems that support OC 48 SONET interfaces ** SPI 4.2, a system packet… …   Wikipedia

  • Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the …   Wikipedia

  • π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) …   Wikipedia

  • Andrew D. Gordon — is a British computer scientist.Gordon is the co designer of Spi Calculus (with Martin Abadi), Ambient calculus (Luca Cardelli), and other various programming languages. Until 1997 he was a Research Fellow at the University of Cambridge Computer… …   Wikipedia

  • Cryptographic primitive — Cryptographic primitives are well established, low level cryptographic algorithms that are frequently used to build computer security systems. These routines include, but are not limited to, one way hash functions and encryption functions.… …   Wikipedia

  • Nate Silver — This article is about the author and statistician. For the American football player, see Nate Silver (quarterback). Nate Silver Born Nathaniel Read Silver January 13, 1978 (1978 01 13) (age 33) …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Region-based memory management — In computer science, region based memory management is a type of memory management in which each allocated object is assigned to a region. A region, also called a zone, arena, or memory context, is a collection of allocated objects that can be… …   Wikipedia

  • Arabic influence on the Spanish language — has been significant, due to the Islamic presence in the Iberian peninsula between 711 and 1492 A.D. (see Al Andalus). Modern day Spanish language (also called castellano in Spanish) first appeared in the small Christian Kingdom of Castile in… …   Wikipedia

  • pre — pre·abdomen; pre·acanthella; pre·adamitism; pre·adapt; pre·adaptation; pre·adaptive; pre·admission; pre·adolescence; pre·adult; pre·agonal; pre·am·bu·lar; pre·am·bu·late; pre·amp; pre·amplifier; pre·animism; pre·apprehension; pre·arrange;… …   English syllables


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»